SAFE-OPS: An approach to embedded software security
نویسندگان
چکیده
منابع مشابه
SAFE-OPS: A Compiler/Architecture Approach to Embedded Software Security
The new-found ubiquity of embedded processors in consumer and industrial applications brings with it an intensified focus on security, as a strong level of trust in the system software is crucial to their widespread deployment. The growing area of software protection attempts to address the key steps used by hackers in attacking a software system. In this paper we introduce a unique approach to...
متن کاملAn Approach to Develop Provably Safe Software
We present a process model for the development of provably safe software. It is based on well-established tools and techniques to set up formal speciications in the speciication language Z and a program synthesis system designed by the author. The model provides a guideline for the speciication and implementation of safe software, consisting of a number of steps that are complemented by proof o...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملAn Approach to Formal Verification of Embedded Software
Modern distributed large-scale systems comprise very large number of embedded processors, which are running embedded software. The complexity of these systems of systems is so high that it becomes unmanageable by humans. Under such circumstances, formal methods and the corresponding tools is being a subject of intensive research and development in both industry and academia. The objective of th...
متن کاملAn Architecture-Centric Approach to Detecting Security Patterns in Software
Today, software security is an issue with increasing importance. Developers, software designers, end users, and enterprises have their own needs w.r.t. software security. Therefore, when designing software, security should be built in from the beginning, for example, by using security patterns. Utilizing security patterns already improves the security of software in early software development s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Embedded Computing Systems
سال: 2005
ISSN: 1539-9087,1558-3465
DOI: 10.1145/1053271.1053279